A monotone principle of fixed points

Explicit Mathematics with the Monotone Fixed Point Principle

The context for this paper is Feferman’s theory of explicit mathematics, a formal framework serving many purposes. It is suitable for representing Bishop-style constructive mathematics as well as generalized recursion, including direct expression of structural concepts which admit self-application. The object of investigation here is the theory of explicit mathematics augmented by the monotone ...

Explicit Mathematics with The Monotone Fixed Point Principle. II: Models

This paper continues investigations of the monotone fixed point principle in the context of Feferman’s explicit mathematics begun in [14]. Explicit mathematics is a versatile formal framework for representing Bishop-style constructive mathematics and generalized recursion theory. The object of investigation here is the theory of explicit mathematics augmented by the monotone fixed point princip...

Fixed Points in the Family of Convex Representations of a Maximal Monotone Operator

Any maximal monotone operator can be characterized by a convex function. The family of such convex functions is invariant under a transformation connected with the Fenchel-Legendre conjugation. We prove that there exist a convex representation of the operator which is a fixed point of this conjugation. 2000 Mathematics Subject Classification: 47H05 keywords: maximal monotone operators, conjugat...

Approximating fixed points of generalized nonexpansive mappings

A Monotone Selection Principle in C*-algebras

We apply to operator algebra theory a monotone selection principle which apparently escaped attention (of operator algebra theorists) so far. This principle relates to the basic order theoretic characterisation of von Neumann algebras given by Kadison, and the simplified form this result takes in separable Hilbert spaces. In the separable case we need only consider increasing sequences rather t...